Axiomatizing first order consequences in inclusion logic
نویسندگان
چکیده
منابع مشابه
Axiomatizing first-order consequences in independence logic
Independence logic, introduced in [5], cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axiomatization and prove that it is complete in this sense. The proof is a generalization of the similar result for dependence logic introduced in [8].
متن کاملAxiomatizing first order consequences in dependence logic
Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.
متن کاملAxiomatizing the monodic fragment of first-order temporal logic
It is known that even seemingly small fragments of the rst-order temporal logic over the natural numbers are not recursively enumerable. In this paper we show that the monodic (not monadic, where this result doesn't hold) fragment is an exception by constructing its nite Hilbert-style axiomatization. We also show that the monodic fragment with equality is not recursively axiomatizable.
متن کاملAxiomatizing Monoidal Logic: A Correction
The propositional monoidal logic ML of U. HÖHLE, determined through an algebraic semantics given by the class of all residuated lattices, was (claimed to be) reaxiomatized in the recent monograph [5]. We show that this reaxiomatization is defective and prove the independence of one of U. HÖHLE's original axioms from the axioms in [5]. Additionally the axiomatization in [5] is completed.
متن کاملAxiomatizing Groenendijk’s Logic of Interrogation
Jeroen Groenendijk (1999, reprinted in this book) introduced a logic, which he called the Logic of Interrogation (henceforth LoI), that can be used to analyze which linguistic answers are appropriate in response to a given question. Groenendijk gave only a semantic definition of his logic. For practical applications like building question-answering systems, however, we also need to understand t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2020
ISSN: 0942-5616,1521-3870
DOI: 10.1002/malq.201900031